تحلیل خودکار بازی رایانه ای با استفاده از شبکه پتری رنگی

Authors

سعید پاشازاده

دانشگاه تبریز - دانشکده مهندسی برق و کامپیوتر

abstract

وجود اشکال در طراحی از عوامل ایجاد نقص در سیستم است. تشخیص و رفع ایرادها در مرحله طراحی مانع از افزایش هزینه و زمان تولید سیستم می گردد. برای اثبات ویژگی های رفتاری سامانه ها از روش های رسمی استفاده می شود. برای اطمینان از عدم وجود بن بست، تضمین وجود جواب و تعیین میزان پیچیدگی معما، از روش های رسمی در طراحی معمای بازی های رایانه ای می توان استفاده کرد. شبکه پتری رنگی سلسله مراتبی یک روش رسمی مدل سازی است که می تواند برای ارزیابی معماهای بازی های رایانه ای مانند جورچین های طراحی مسیر استفاده شود. بازی unblock me به عنوان یک مثال موردی در این مقاله مدل سازی شده و تحلیل خودکار دو معمای آن موردبررسی قرار گرفته است. مدل سازی بازی به صورت سلسله مراتبی انجام شده است. در این مقاله راه کارهای جدیدی برای حل مشکل انفجار حالت و کاهش زمان اجرای مدل ارائه گردیده است. مدل سازی باهدف امکان تحلیل خودکار فضای حالت سیستم انجام شده و توابع موردنیاز جهت اثبات ویژگی های رفتاری پیاده سازی شده است. این مقاله روشی برای مدل سازی و اثبات ویژگی های رفتاری بازی های رایانه ای از نوع جورچین را با استفاده از شبکه پتری رنگی سلسله مراتبی ارائه کرده و قابل تعمیم به بازی های مشابه است.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

تحلیل خودکار بازی رایانه‌ای با استفاده از شبکه پتری رنگی

وجود اشکال در طراحی از عوامل ایجاد نقص در سیستم است. تشخیص و رفع ایرادها در مرحله طراحی مانع از افزایش هزینه و زمان تولید سیستم می‌گردد. برای اثبات ویژگی‌های رفتاری سامانه‌ها از روش‌های رسمی استفاده می‌شود. برای اطمینان از عدم وجود بن‌بست، تضمین وجود جواب و تعیین میزان پیچیدگی معما، از روش‌های رسمی در طراحی معمای بازی‌های رایانه‌ای می‌توان استفاده کرد. شبکه پتری رنگی سلسله مراتبی یک روش رسمی مد...

full text

طراحی کانال پوششی زمانبندی‌دار ترکیبی و ارزیابی آن با استفاده از شبکه پتری رنگی

کانال‌های پوششی زمانبندی‌دار برای پنهان سازی و انتقال اطلاعات در پوشش شبکه‌های رایانه‌ای بکار می‌رود. استفاده از زمان بین بستک‌ها و ترتیب بستک‌ها، از فنون کدبندی اطلاعات در این کانال‌ها هستند. چندین کار تحقیقی برای ارزیابی ظرفیت و استحکام کانال‌های پوششی انجام‌گرفته که به روش اندازه‌گیری در محیط واقعی یا روش محاسباتی بوده‌اند. روش اندازه‌گیری در محیط واقعی، فاقد قابلیت تکرارپذیری آزمون است و رو...

full text

مدلسازی و کنترل نظارتی سیستم‌های حمل و نقل ریلی با استفاده از شبکه پتری رنگی

شبکه‌های حمل و نقل ریلی، با استفاده از روش‌های مدلسازی و شبیه‌سازی در مرحله طراحی، راه اندازی و بهره برداری مورد مطالعه قرار گرفته و خصوصیات و رفتار آن به کمک شبکه‌های پتری مدل شده و تحلیل می‌شود. در این مقاله با استفاده از مفاهیم شبکه پتری رنگی اجزای اصلی یک خط ریلی و انواع سیگنال‌ها معرفی شده و مدل پتری رنگی آن شامل انشعاب (ماشین سوزن) مسیرراه‌آهن، انتهای خط، انشعاب دو سوزنه، تقاطع و... بیان ...

full text

طراحی کانال پوششی زمانبندی دار ترکیبی و ارزیابی آن با استفاده از شبکه پتری رنگی

کانال های پوششی زمانبندی دار برای پنهان سازی و انتقال اطلاعات در پوشش شبکه های رایانه ای بکار می رود. استفاده از زمان بین بستک ها و ترتیب بستک ها، از فنون کدبندی اطلاعات در این کانال ها هستند. چندین کار تحقیقی برای ارزیابی ظرفیت و استحکام کانال های پوششی انجام گرفته که به روش اندازه گیری در محیط واقعی یا روش محاسباتی بوده اند. روش اندازه گیری در محیط واقعی، فاقد قابلیت تکرارپذیری آزمون است و رو...

full text

تطبیق موردی 9 بازی رایانه ای آموزشی با اصول و استانداردهای عمومی طراحی بازی های رایانه ای آموزشی

پژوهش حاضر باهدف تحلیل محتوای بازی‌های رایانه‌ای آموزشی بر اساس اصول و استانداردهای عمومی طراحی بازی است.  پرسش‌های اساسی این پژوهش عبارت‌اند از: 1. آیا بازی‌های رایانه‌ای آموزشی تولیدشده بر اساس استانداردهای طراحی بازی‌های رایانه‌ای جدی ساخته‌شده‌اند؟ 2. آیا بازی‌های رایانه‌ای آموزشی تولیدشده با عناصر و اصول عمومی طراحی بازی مطابقت دارد؟ روش پژوهش، توصیفی و از نوع تحلیل محتواست. جامعه آماری ای...

full text

رابطه استفاده از بازی های رایانه ای با وضعیت تحصیلی دانش‌آموزان دختر دوره متوسطه شهر بابل

پژوهش حاضر، با هدف بررسی رابطه استفاده از بازی‌های رایانه‌ای با افت تحصیلی دانش‌آموزان دختر دوره متوسطه انجام شده است. روش پژوهش، توصیفی از نوع همبستگی و جامعه آماری این پژوهش دانش‌آموزان دختر دوره متوسطه شهر بابل به تعداد 7542 نفر در سال تحصیلی 93-1392 بودند. حجم نمونه بر اساس جدول کرجسی و مورگان، 364 نفر تعیین شد. نمونه‌گیری به روش تصادفی خوشه‌ای انجام پذیرفت. ابزار گردآوری اطلاعات دو پرسش‌نا...

full text

My Resources

Save resource for easier access later


Journal title:
مهندسی برق دانشگاه تبریز

جلد ۴۶، شماره ۲، صفحات ۳۷-۴۸

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023